Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2010/11)

Search: ^p

Education/MFES1011 Web Changed Changed by
Programa 19 Oct 2010 - 14:24 - r2 AlcinoCunha
Módulos A UCE consta dos módulos seguintes, CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
ProjectoIntegrado 14 Jun 2011 - 17:04 - r19 JoseNunoOliveira
Projecto Integrado (II) Grupos, alunos e temas. Gr Nome Nr Fotografia Tema Grupo Critical Software 1 João Silva de Melo pg15989 ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM